Generalized Asynchronous Systems
نویسندگان
چکیده
The paper is devoted to a mathematical model of concurrency the special case of which is asynchronous system. Distributed asyn-chronous automata are introduced here. It is proved that the Petri nets and transition systems with independence can be considered like the distributed asynchronous automata. Time distributed asynchronous automata are defined in standard way by the map which assigns time intervals to events. It is proved that the time distributed asynchronous automata are generalized the time Petri nets and asynchronous systems .
منابع مشابه
Bit Error Performance for Asynchronous Ds Cdma Systems Over Multipath Rayleigh Fading Channels (RESEARCH NOTE)
In recent years, there has been considerable interest in the use of CDMA in mobile communications. Bit error rate is one of the most important parameters in the evaluation of CDMA systems. In this paper, we develop a technique to find an accurate approximation to the probability of bit error for asynchronous direct–sequence code division multiple–access (DS/CDMA) systems by modeling the multipl...
متن کاملDecentralized and Cooperative Multi-Sensor Multi-Target Tracking With Asynchronous Bearing Measurements
Bearings only tracking is a challenging issue with many applications in military and commercial areas. In distributed multi-sensor multi-target bearings only tracking, sensors are far from each other, but are exchanging data using telecommunication equipment. In addition to the general benefits of distributed systems, this tracking system has another important advantage: if the sensors are suff...
متن کاملCubical Sets are Generalized Transition Systems
We show in this article that \labelled" cubical sets (or Higher-Dimensional Automata) are a natural generalization of transition systems and asynchronous transition systems. This generalizes an older result of 14] which was only holding with precubical sets and subcat-egories of the classical (see 29]) categories of transition systems and asynchronous transition systems. This opens up new promi...
متن کاملA Generalized Kahn Principle for Abstract Asynchronous Networks
Our general motivation is to answer the question: “What is a model of concurrent computation?”. As a preliminary exercise, we study dataflow networks. We develop a very general notion of model for asynchronous networks. The “Kahn Principle”, which states that a network built from functional nodes is the least fixpoint of a system of equations associated with the network, has become a benchmark ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1203.3098 شماره
صفحات -
تاریخ انتشار 2012